/*
 * Copyright (c) 2015, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef __PLAT_DRIVER_RTC_H__
#define __PLAT_DRIVER_RTC_H__

/* RTC registers */
enum {
    RTC_BBPU = 0xE000,
    RTC_IRQ_STA = 0xE002,
    RTC_IRQ_EN = 0xE004,
    RTC_CII_EN = 0xE006
};

enum {
    RTC_OSC32CON = 0xE026,
    RTC_CON = 0xE03E,
    RTC_WRTGR = 0xE03C
};

enum {
    RTC_PDN1 = 0xE02C,
    RTC_PDN2 = 0xE02E,
    RTC_SPAR0 = 0xE030,
    RTC_SPAR1 = 0xE032,
    RTC_PROT = 0xE036,
    RTC_DIFF = 0xE038,
    RTC_CALI = 0xE03A
};

enum {
    RTC_PROT_UNLOCK1 = 0x586A,
    RTC_PROT_UNLOCK2 = 0x9136
};

enum {
    RTC_BBPU_PWREN    = 1U << 0,
    RTC_BBPU_BBPU    = 1U << 2,
    RTC_BBPU_AUTO    = 1U << 3,
    RTC_BBPU_CLRPKY    = 1U << 4,
    RTC_BBPU_RELOAD    = 1U << 5,
    RTC_BBPU_CBUSY    = 1U << 6
};

enum {
    RTC_BBPU_KEY    = 0x43 << 8
};

void rtc_bbpu_power_down(void);

#endif /* __PLAT_DRIVER_RTC_H__ */
